<html>
<body>
The classes in this package describe the test generation history of OSMO, including the current test case and all
test cases generated from the current model with the current configuration.
</body>
</html>